математический или логический метод доказательства

См. также в других словарях:

• Логический закон —         общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреческому понятию о lógos e как предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание оно впервые… …   Большая советская энциклопедия

• КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия

• Лейбниц, Готфрид Вильгельм — Готфрид Вильгельм Лейбниц Gottfried Wilhelm Leibniz …   Википедия

• Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

• АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

• История математики — История науки …   Википедия

• Философия — Скульптура «Мыслитель» (фр. Le Penseur) Огюста Родена, которая часто используется в качестве символа философии …   Википедия

• Математика Древнего Востока — История науки По тематике Математика Естественные науки …   Википедия

• ЛЕЙБНИЦ — (Leibniz) Готфрид Вильгельм (1646 1716) нем. философ, математик, физик и изобретатель, юрист, историк, языковед. Изучал юриспруденцию и философию в Лейпцигском и Йенском ун тах. В 1672 1676 в Париже. С 1676 состоял на службе у ганноверских… …   Философская энциклопедия

• ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… …   Философская энциклопедия

• Математика — Евклид. Деталь «Афинской школы» Рафаэля Математика (от др. греч …   Википедия